STEFANEAS, Petros: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

The Web as A Tool For Proving

Petros Stefaneas, Ioannis M. Vandoulakis

Journal:

Year:

2012

Language:

english

File:

PDF, 203 KB

english, 2012

2

On Mathematical Proving

Stefaneas, Petros, Vandoulakis, Ioannis M.

Journal:

Journal of Artificial General Intelligence

Year:

2015

Language:

english

File:

PDF, 1.14 MB

english, 2015

3

The Transposition of European Union Open Data/Public Sector Information Policies in Greece: A Critical Analysis

Tsiavos, Prodromos, Stefaneas, Petros, Karounos, Theodoros

Journal:

Policy & Internet

Year:

2013

Language:

english

File:

PDF, 165 KB

english, 2013

4

A Rule-Based Model for Compliance of Medical Devices Applied to the European Market

Almpani, Sofia, Stefaneas, Petros, Boley, Harold, Mitsikas, Theodoros, Frangos, Panayiotis

Journal:

International Journal of Extreme Automation and Connectivity in Healthcare

Year:

2019

Language:

english

File:

PDF, 3.42 MB

english, 2019

5

Ultraproducts and possible worlds semantics in institutions

Răzvan Diaconescu, Petros Stefaneas

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 445 KB

english, 2007

6

[IEEE 2012 International Symposium on Innovations in Intelligent Systems and Applications (INISTA) - Trabzon, Turkey (2012.07.2-2012.07.4)] 2012 International Symposium on Innovations in Intelligent Systems and Applications - Extending standards with formal methods: Open Document Architecture

Barlas, Konstantinos, Koletsos, George, Stefaneas, Petros

Year:

2012

Language:

english

File:

PDF, 506 KB

english, 2012

7

[Lecture Notes in Computer Science] Theory, Practice, and Applications of Rules on the Web Volume 8035 ||

Morgenstern, Leora, Stefaneas, Petros, Lévy, François, Wyner, Adam, Paschke, Adrian

Year:

2013

Language:

english

File:

PDF, 6.62 MB

english, 2013

8

[Lecture Notes in Computer Science] Theory, Practice, and Applications of Rules on the Web Volume 8035 || A Fuzzy, Utility-Based Approach for Proactive Policy-Based Management

Morgenstern, Leora, Stefaneas, Petros, Lévy, François, Wyner, Adam, Paschke, Adrian

Year:

2013

Language:

english

File:

PDF, 246 KB

english, 2013

9

[IEEE 2012 7th International Workshop on Semantic and Social Media Adaptation and Personalization (SMAP) - Luxembourg City, Luxembourg (2012.12.3-2012.12.4)] 2012 Seventh International Workshop on Semantic and Social Media Adaptation and Personalization - Semantic Web and Algebraic Reasoning: Some First Applications Using Behavioral Specifications

Ksystra, Katerina, Triantafyllou, Nikolaos, Stefaneas, Petros, Frangos, Panayiotis

Year:

2012

Language:

english

File:

PDF, 268 KB

english, 2012

10

[IEEE 2009 Fourth South-East European Workshop on Formal Methods (SEEFM) - Thessalniki, TBD, Greece (2009.12.4-2009.12.5)] 2009 Fourth South-East European Workshop on Formal Methods - An Algebraic Specification for the MPEG-2 Encoding Algorithm

Ksystra, Katerina, Stefaneas, Petros, Triantafyllou, Nikolaos, Ouranos, Iakovos

Year:

2009

Language:

english

File:

PDF, 300 KB

english, 2009

11

[IEEE 2009 IEEE 5th International Conference on Wireless and Mobile Computing, Networking and Communications (WIMOB) - Marrakech, Morocco (2009.10.12-2009.10.14)] 2009 IEEE International Conference on Wireless and Mobile Computing, Networking and Communications - Algebraic Specifications for OMA REL Licenses

Triantafyllou, Nikolaos, Ouranos, Iakovos, Stefaneas, Petros

Year:

2009

Language:

english

File:

PDF, 302 KB

english, 2009

12

[IEEE 2009 Fourth South-East European Workshop on Formal Methods (SEEFM) - Thessalniki, TBD, Greece (2009.12.4-2009.12.5)] 2009 Fourth South-East European Workshop on Formal Methods - From ASN.1 into CafeOBJ: Some First Steps

Barlas, Konstantinos, Koletsos, George, Stefaneas, Petros, Ouranos, Iakovos

Year:

2009

Language:

english

File:

PDF, 264 KB

english, 2009

13

[Lecture Notes in Computer Science] Theory, Practice, and Applications of Rules on the Web Volume 8035 || Efficient Persistency Management in Complex Event Processing: A Hybrid Approach for Gamification Systems

Morgenstern, Leora, Stefaneas, Petros, Lévy, François, Wyner, Adam, Paschke, Adrian

Year:

2013

Language:

english

File:

PDF, 361 KB

english, 2013

14

Strategies for accelerating the worldwide adoption of e-commerce

Georgiou, Christos J., Stefaneas, Petros S.

Journal:

Communications of the ACM

Year:

2002

Language:

english

File:

PDF, 218 KB

english, 2002

15

[IEEE 2014 9th International Workshop on Semantic and Social Media Adaptation and Personalization (SMAP) - Corfu, Greece (2014.11.6-2014.11.7)] 2014 9th International Workshop on Semantic and Social Media Adaptation and Personalization - Towards Formal Representation and Comparison of Video Content Using Algebraic Semiotics

Triantafyllou, Nikolaos, Ksystra, Katerina, Stefaneas, Petros, Kalampakas, Antonios

Year:

2014

Language:

english

File:

PDF, 614 KB

english, 2014

16

An Algebraic Framework for the Verification of Context-Aware Adaptive Systems

Ksystra, Katerina, Stefaneas, Petros, Frangos, Panayiotis

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2015

Language:

english

File:

PDF, 317 KB

english, 2015

17

Towards formal open standards: formalizing a standard’s requirements

Barlas, Konstantinos, Berki, Eleni, Stefaneas, Petros, Koletsos, George

Journal:

Innovations in Systems and Software Engineering

Year:

2017

Language:

english

File:

PDF, 711 KB

english, 2017

18

Towards a correct translation from ASN.1 into CafeOBJ

Barlas, Konstantinos, Koletsos, George, Stefaneas, Petros, Ouranos, Iakovos

Journal:

International Journal of Reasoning-based Intelligent Systems

Year:

2010

Language:

english

File:

PDF, 267 KB

english, 2010

19

[Springer Proceedings in Mathematics & Statistics] Algebraic Modeling of Topological and Computational Structures and Applications Volume 219 || A Rule-Based Approach for Air Traffic Control in the Vicinity of the Airport

Lambropoulou, Sofia, Theodorou, Doros, Stefaneas, Petros, Kauffman, Louis H.

Year:

2017

Language:

english

File:

PDF, 330 KB

english, 2017

20

[Springer Proceedings in Mathematics & Statistics] Algebraic Modeling of Topological and Computational Structures and Applications Volume 219 || Automorphisms of Curves

Lambropoulou, Sofia, Theodorou, Doros, Stefaneas, Petros, Kauffman, Louis H.

Year:

2017

Language:

english

File:

PDF, 358 KB

english, 2017

21

[Springer Proceedings in Mathematics & Statistics] Algebraic Modeling of Topological and Computational Structures and Applications Volume 219 ||

Lambropoulou, Sofia, Theodorou, Doros, Stefaneas, Petros, Kauffman, Louis H.

Year:

2017

Language:

english

File:

PDF, 9.99 MB

english, 2017

22

An Algorithm for Allocating User Requests to Licenses in the OMA DRM System

TRIANTAFYLLOU, Nikolaos, STEFANEAS, Petros, FRANGOS, Panayiotis

Journal:

IEICE Transactions on Information and Systems

Year:

2013

Language:

english

File:

PDF, 277 KB

english, 2013

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски